The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lee masThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lee mas